lean notebook book viewer

Select the lean project directory containing .lean files to start reading.